5a5c9c03478ed911e891178debf3480ecaa219f1,src/main/java/org/teachingkidsprogramming/recipes/completed/section08tdd/SimplePuzzle.java,SimplePuzzle,run,#,47

In pattern: SUPERPATTERN

Frequency: 3

Non-data size: 3


Instances


1447042497
lynnlangit@live.com
TeachingKidsProgramming/TeachingKidsProgramming.Source.Java,5a5c9c03478ed911e891178debf3480ecaa219f1,src/main/java/org/teachingkidsprogramming/recipes/completed/section08tdd/SimplePuzzle.java,SimplePuzzle,run,#,47


1486521982
braz@ai.sri.com
aic-sri-international/aic-expresso,0b2c298aa016e70ff2031bea3163ceb57d446142,src/main/java/com/sri/ai/grinder/sgdpllt/api/SingleVariableConstraint.java,SingleVariableConstraint,satisfiability,#Context#,134


1486521982
braz@ai.sri.com
aic-sri-international/aic-expresso,0b2c298aa016e70ff2031bea3163ceb57d446142,src/main/java/com/sri/ai/grinder/sgdpllt/api/SingleVariableConstraint.java,SingleVariableConstraint,modelCount,#Context#,145